Online activities 6 – 12 October
ests.wordpress.com·34m
🏗️Constructive Mathematics
Distilling Reasoning into Student LLMs: Local Naturalness for Selecting Teacher Data
arxiv.org·5h
💻Local LLMs
A very short, very blunt, book note
logicmatters.net·15h
⚔️Lean Theorem
Toy Binary Decision Diagrams
philipzucker.com·1d
🧮Algebraic Datatypes
What You Didn't Learn in Berkeley CS 188: Intro to RL
neelsomaniblog.com·6h·
Discuss: Hacker News
🔲Cellular Automata
On This Day in Math - October 6
pballew.blogspot.com·1d·
Discuss: www.blogger.com
📐Interval Arithmetic
A Complex Qutrit Inside an Octonionic One
golem.ph.utexas.edu·15h
⏰Time Crystals
The Analyst’s Gambit: A Second Course in Functional Analysis
noncommutativeanalysis.wordpress.com·4d
⚔️Lean Theorem
MathArena Apex: Unconquered Final-Answer Problems
matharena.ai·2d·
Discuss: Hacker News
🧮SMT Solvers
Causal Abstractions, Categorically Unified
arxiv.org·5h
✨Effect Handlers
The Power of Three: Ternary Logic, Triolectics, and Three Sided Football
sothismedias.com·22h·
Discuss: Hacker News
🧮Theoretical Computer Science
How to Perform Effective Agentic Context Engineering
towardsdatascience.com·2h
⚙️Proof Engineering
A Fixed Point Framework for the Existence of EFX Allocations
arxiv.org·5h
🎯Performance Proofs
How to Train an LLM to Do Proofs: Beyond Verifiable Rewards
tobysimonds.com·2d·
Discuss: Hacker News
🎯Interactive Provers
Atomic and Saturated Models
functor.network·3d·
Discuss: Hacker News
🔢Denotational Semantics
Unlocking Uniqueness: Mastering the Unique Character Algorithm in Go
dev.to·17h·
Discuss: DEV
🌳Trie Structures
LLM Optimization Notes: Memory, Compute and Inference Techniques
gaurigupta19.github.io·17h·
Discuss: Hacker News
💻Local LLMs
Aria: An Agent For Retrieval and Iterative Auto-Formalization via Dependency Graph
arxiv.org·5h
⚡Proof Automation
Briefly Noted: Summer Reading
thepsmiths.com·12h·
Discuss: Hacker News
🔬Lean
Let's Prove Leftpad
github.com·1h·
Discuss: Hacker News
📜Proof Carrying Code